"Ernst-Rudiger Olderog" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog, Henning Dierks

12.36 Mb

#2

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

Ernst-Rudiger Olderog, Bernhard Steffen

Категория: Компьютеры

6.13 Mb